LDRA Testbed ® Code Review Report

Group : PVM-gexamples





Overall Result: FAIL





Report Production Report Configuration Analysis phases
  • C/C++ LDRA Testbed Version: 8.1.0
  • Config. File: C:\Testbed_CCPP_810\c\creport.dat
  • Produced On: Thu Sep 03 2009 at 13:53:06
  • Penalty File: C:\Testbed_CCPP_810\c\cpen.dat
  • Report Level: Summary Report
  • Procedures Reported: Fails Only
  • Programming Standards Model: CERT
  • Line Numbers refer to: Original Source File
  • Violation Details: Violations Only
  • Reporting Scope: Full analysis scope
  • Static: Yes
  • Complexity: No
  • Static Data Flow: No
  • Information Flow: No
  • Cross Reference: No


Contents

Overall Quality Summary
Report on Program Components
Key to Terms




Overall Quality Summary



Totals of Violations for Selected Quality Standards

'-' indicates required Analysis Phase results are not yet available.
'Off' indicates that the standard is switched off in the Penalty File (<lang>pen.dat).
'MR'indicates that the standard is Misra Restricted.

Number of Violations LDRA Code (M) Mandatory Standards CERT Code
23
9 S CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
0
20 S CERT DCL31-C
1
30 S CERT EXP30-C,EXP31-C
-
5 D CERT EXP33-C
0
39 S CERT FLP30-C
0
43 S CERT ENV33-C,SIG32-C
0
47 S CERT ARR30-C
0
71 S CERT DCL30-C,MEM36-C
0
86 S CERT ERR31-C
41
93 S CERT INT01-C,INT02-C,INT07-C
0
94 S CERT EXP11-C,EXP36-C,INT11-C
5
98 S CERT EXP37-C
-
17 D CERT DCL32-C
-
19 D CERT EXP37-C
-
20 D CERT DCL31-C,ERR30-C
-
24 D CERT DCL31-C
-
1 X CERT ARR31-C
0
134 S CERT EXP10-C,EXP30-C
-
35 D CERT EXP02-C,EXP10-C,EXP30-C
0
1 Q CERT EXP02-C,EXP10-C,EXP30-C
1
157 S CERT STR05-C,STR30-C
74
170 S CERT DCL07-C,EXP37-C
-
41 D CERT EXP37-C
-
42 D CERT DCL30-C
-
43 D CERT INT32-C,INT33-C
0
248 S CERT INT33-C
-
45 D CERT EXP08-C,EXP34-C
-
49 D CERT FIO42-C
1
326 S CERT DCL31-C
0
344 S CERT EXP32-C
-
51 D CERT MEM30-C
0
355 S CERT DCL32-C
0
403 S CERT INT34-C
8
433 S CERT INT02-C,INT31-C
0
434 S CERT INT02-C,INT31-C,STR34-C
0
442 S CERT INT02-C,FLP33-C
0
443 S CERT INT02-C,FLP33-C
0
444 S CERT FLP33-C
0
456 S CERT MSC31-C
-
57 D CERT EXP33-C
34
476 S CERT ARR30-C
0
480 S CERT DCL33-C
0
483 S CERT MEM34-C
0
484 S CERT MEM31-C
0
487 S CERT MEM35-C
0
489 S CERT DCL33-C,FIO43-C
0
493 S CERT INT32-C
0
494 S CERT INT32-C
8
496 S CERT EXP37-C
-
61 X CERT DCL32-C

Number of Violations LDRA Code (M) Mandatory Standards CERT Code
-
64 X CERT ARR30-C
-
69 D CERT EXP33-C
0
562 S Use of ++,-- or = in macro parameters. CERT PRE31-C
-
75 D CERT FIO31-C
-
68 X CERT DCL00-C
-
69 X CERT ARR30-C
0
573 S Macro concatenation of uni char names. CERT PRE30-C
0
575 S Linkage differs from previous declaration. CERT DCL36-C
0
576 S Function pointer is of wrong type. CERT DCL35-C,EXP08-C


Number of Violations LDRA Code (C) Checking (Mandatory) Standards CERT Code

No Standards have been set as Checking.

Number of Violations LDRA Code (O) Optional Standards CERT Code
0
5 S CERT MSC03-C
36 12 S CERT MSC01-C
8 21 S CERT DCL07-C
-
1 D CERT MSC13-C
-
4 D CERT MSC13-C
-
7 D CERT MSC13-C
-
8 D CERT MSC08-C
-
15 D CERT MSC13-C
2 41 S CERT DCL10-C,DCL11-C
0
44 S CERT DCL03-C,INT06-C
0
50 S CERT INT13-C
0
52 S CERT INT02-C
0
54 S CERT EXP06-C
0
57 S CERT MSC03-C,MSC12-C
0
58 S CERT MSC03-C
1 59 S CERT MSC03-C
0
73 S CERT INT12-C
7 79 S CERT PRE03-C
0
81 S CERT PRE07-C
0
85 S CERT INT09-C
0
95 S CERT EXP11-C
0
99 S CERT MSC02-C
0
101 S CERT INT02-C
-
27 D CERT DCL15-C
10 113 S CERT MSC09-C
35 77 S CERT PRE02-C
3 78 S CERT PRE01-C,PRE02-C
4 96 S CERT INT02-C
0
115 S CERT STR03-C
0
119 S CERT MSC04-C
0
120 S CERT INT13-C
0
125 S CERT PRE05-C
0
131 S CERT DCL01-C
10 132 S CERT MSC02-C
0
133 S CERT EXP02-C
10 135 S CERT DCL07-C
0
139 S CERT MSC07-C
0
140 S CERT MSC07-C
0
176 S CERT MSC10-C
41 177 S CERT DCL04-C
93 200 S CERT DCL00-C
150 201 S CERT DCL06-C,EXP07-C,EXP09-C
0
203 S CERT EXP05-C
0
218 S CERT PRE04-C
0
243 S CERT PRE06-C
151 273 S CERT PRE03-C
0
299 S CERT DCL05-C
0
1 J CERT MSC07-C
0
302 S CERT MSC04-C
0
329 S CERT INT07-C

Number of Violations LDRA Code (O) Optional Standards CERT Code
1 331 S CERT INT13-C
0
332 S CERT INT02-C
0
334 S CERT INT02-C
4 340 S CERT PRE00-C
0
352 S CERT DCL12-C
-
50 D CERT MEM00-C
14 361 S CERT EXP00-C
0
376 S CERT MSC10-C
4 381 S CERT DCL05-C
93 382 S CERT EXP12-C
-
53 D CERT EXP08-C
0
387 S CERT DCL08-C
0
400 S CERT EXP03-C
0
401 S CERT ARR00-C
0
406 S CERT EXP02-C
-
54 D CERT EXP08-C
0
408 S CERT EXP02-C
0
432 S CERT INT07-C
0
438 S CERT EXP08-C
0
439 S CERT INT15-C
0
440 S CERT INT15-C
0
446 S CERT INT02-C
0
452 S CERT INT02-C
0
457 S CERT INT02-C
6 458 S CERT INT02-C,INT07-C
0
486 S CERT FIO00-C
0
488 S CERT INT08-C
0
491 S CERT INT02-C
-
61 D CERT DCL15-C
-
62 D CERT DCL13-C
0
515 S CERT DCL04-C
-
65 D CERT MSC12-C
-
70 D CERT MSC12-C
0
553 S Function and proto should both be static. CERT DCL15-C
-
72 D CERT EXP10-C
-
67 X CERT DCL02-C
-
74 D CERT EXP10-C
0
568 S #include "filename" uses standard library name. CERT PRE04-C
0
577 S Sizeof argument is a pointer. CERT EXP01-C
0
578 S Sizeof used in arithmetic expression. CERT EXP03-C
-
78 D CERT DCL00-C
1 584 S Remainder of % op could be negative. CERT INT10-C
0
585 S Bitwise and arith operations on same data. CERT INT14-C
0
586 S Format is not %j for user defined type. CERT INT15-C


Number of Mandatory Standards checked 39
Number of Checking Standards checked 0
Number of Optional Standards checked 77
Total Standards checked 116





OVERALL RESULT: FAIL


Out of 12 program components, 2 (16.67 %) pass ( of which 2 conditionally pass ) and 10 fail ( of which 0 fail only because of insufficient comments )

Procedure Results

Quality Result   Procedure   Source File   Unique Violations    
           
Conditional Pass Global Program
FAIL main ge.c 10 -
FAIL main gexamp.c 13 -
FAIL main gs.c 11 -
FAIL main joinleave.c 10 -
FAIL main thb.c 9 -
FAIL main tjf.c 10 -
FAIL main tjl.c 9 -
Conditional Pass main tnb.c 4 -
FAIL main trsg.c 15 -
FAIL MaxWithLoc trsg.c 6 -
FAIL main tst.c 4 -


Global Information

Source Files in Group

Name Last Modification Date
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\gexamples\tst.c Thu Jan 22 18:20:23 2009
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\gexamples\trsg.c Thu Jan 22 18:20:23 2009
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\gexamples\tnb.c Wed Jul 09 06:28:05 1997
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\gexamples\tjl.c Fri Mar 12 10:57:36 1999
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\gexamples\tjf.c Fri Mar 12 10:57:35 1999
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\gexamples\thb.c Fri Mar 12 10:57:37 1999
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\gexamples\joinleave.c Fri Mar 12 10:57:38 1999
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\gexamples\gs.c Mon Aug 11 07:39:18 1997
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\gexamples\gexamp.c Wed Jul 09 06:27:57 1997
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\gexamples\ge.c Wed Jul 09 06:27:56 1997



Global Basic Information

Number of procedures: 11
Number of locally uncalled procedures: 1
Number of reformatted executable lines: 1009
Number of lines of comments: 3358


Summary Report on all Program Components



Globals / code outside procedures - Conditional Pass

Standards Violation Summary - All files

Code File: Src Line Violation Standard
O ge.c: 3 Non standard character $ in source. CERT MSC09-C
O pvm3.h: 289 Found #define. CERT PRE03-C
O pvm3.h: 295 Found #define. CERT PRE03-C
O pvm3.h: 296 Found #define. CERT PRE03-C
O pvm3.h: 296 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 297 Found #define. CERT PRE03-C
O pvm3.h: 297 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 298 Found #define. CERT PRE03-C
O pvm3.h: 298 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 312 Found #define. CERT PRE03-C
O pvm3.h: 312 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 313 Found #define. CERT PRE03-C
O pvm3.h: 313 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 314 Found #define. CERT PRE03-C
O pvm3.h: 314 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 315 Found #define. CERT PRE03-C
O pvm3.h: 315 Macro contains unacceptable items CERT PRE03-C
O pvm3.h: 316 Found #define. CERT PRE03-C
O pvm3.h: 316 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 322 Found #define. CERT PRE03-C
O pvm3.h: 322 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 323 Found #define. CERT PRE03-C
O pvm3.h: 323 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 324 Found #define. CERT PRE03-C
O pvm3.h: 324 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 325 Found #define. CERT PRE03-C
O pvm3.h: 325 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 326 Found #define. CERT PRE03-C
O pvm3.h: 326 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 328 Found #define. CERT PRE03-C
O pvm3.h: 328 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 329 Found #define. CERT PRE03-C
O pvm3.h: 329 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 331 Found #define. CERT PRE03-C
O pvm3.h: 331 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 337 Found #define. CERT PRE03-C
O pvm3.h: 337 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 338 Found #define. CERT PRE03-C
O pvm3.h: 338 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 339 Found #define. CERT PRE03-C
O pvm3.h: 339 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 340 Found #define. CERT PRE03-C
O pvm3.h: 340 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 341 Found #define. CERT PRE03-C
O pvm3.h: 341 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 345 Found #define. CERT PRE03-C
O pvm3.h: 345 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 351 Found #define. CERT PRE03-C
O pvm3.h: 351 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 352 Found #define. CERT PRE03-C

Code File: Src Line Violation Standard
O pvm3.h: 352 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 353 Found #define. CERT PRE03-C
O pvm3.h: 353 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 354 Found #define. CERT PRE03-C
O pvm3.h: 354 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 355 Found #define. CERT PRE03-C
O pvm3.h: 355 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 356 Found #define. CERT PRE03-C
O pvm3.h: 356 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 357 Found #define. CERT PRE03-C
O pvm3.h: 357 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 358 Found #define. CERT PRE03-C
O pvm3.h: 358 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 359 Found #define. CERT PRE03-C
O pvm3.h: 359 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 360 Found #define. CERT PRE03-C
O pvm3.h: 360 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 361 Found #define. CERT PRE03-C
O pvm3.h: 361 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 362 Found #define. CERT PRE03-C
O pvm3.h: 362 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 363 Found #define. CERT PRE03-C
O pvm3.h: 363 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 364 Found #define. CERT PRE03-C
O pvm3.h: 364 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 365 Found #define. CERT PRE03-C
O pvm3.h: 365 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 366 Found #define. CERT PRE03-C
O pvm3.h: 366 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 367 Found #define. CERT PRE03-C
O pvm3.h: 367 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 368 Found #define. CERT PRE03-C
O pvm3.h: 368 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 369 Found #define. CERT PRE03-C
O pvm3.h: 369 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 370 Found #define. CERT PRE03-C
O pvm3.h: 370 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 371 Found #define. CERT PRE03-C
O pvm3.h: 371 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 372 Found #define. CERT PRE03-C
O pvm3.h: 372 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 373 Found #define. CERT PRE03-C
O pvm3.h: 373 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 374 Found #define. CERT PRE03-C
O pvm3.h: 374 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 375 Found #define. CERT PRE03-C
O pvm3.h: 375 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 376 Found #define. CERT PRE03-C
O pvm3.h: 376 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 377 Found #define. CERT PRE03-C

Code File: Src Line Violation Standard
O pvm3.h: 377 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 378 Found #define. CERT PRE03-C
O pvm3.h: 378 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 379 Found #define. CERT PRE03-C
O pvm3.h: 379 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 380 Found #define. CERT PRE03-C
O pvm3.h: 380 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 381 Found #define. CERT PRE03-C
O pvm3.h: 381 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 382 Found #define. CERT PRE03-C
O pvm3.h: 382 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 383 Found #define. CERT PRE03-C
O pvm3.h: 383 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 389 Found #define. CERT PRE03-C
O pvm3.h: 389 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 390 Found #define. CERT PRE03-C
O pvm3.h: 390 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 396 Found #define. CERT PRE03-C
O pvm3.h: 396 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 402 Found #define. CERT PRE03-C
O pvm3.h: 402 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 405 Found #define. CERT PRE03-C
O pvm3.h: 405 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 406 Found #define. CERT PRE03-C
O pvm3.h: 406 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 407 Found #define. CERT PRE03-C
O pvm3.h: 407 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 408 Found #define. CERT PRE03-C
O pvm3.h: 408 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 409 Found #define. CERT PRE03-C
O pvm3.h: 409 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 411 Found #define. CERT PRE03-C
O pvm3.h: 411 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 412 Found #define. CERT PRE03-C
O pvm3.h: 412 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 414 Found #define. CERT PRE03-C
O pvm3.h: 414 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 416 Found #define. CERT PRE03-C
O pvm3.h: 416 Literal value requires a U suffix. CERT INT13-C
O pvm3.h: 416 Macro contains unacceptable items CERT PRE03-C
O pvm3.h: 419 Found #define. CERT PRE03-C
O pvm3.h: 419 Use of function like macro. CERT PRE00-C
O pvm3.h: 424 Found #define. CERT PRE03-C
O pvm3.h: 428 Use of function like macro. CERT PRE00-C
O pvm3.h: 424 Macro contains unacceptable items CERT PRE03-C
O pvm3.h: 434 Found #define. CERT PRE03-C
O pvm3.h: 436 Found #define. CERT PRE03-C
O pvm3.h: 438 Found #define. CERT PRE03-C
O pvm3.h: 440 Found #define. CERT PRE03-C
O pvm3.h: 442 Found #define. CERT PRE03-C

Code File: Src Line Violation Standard
O pvm3.h: 448 Found #define. CERT PRE03-C
O pvm3.h: 448 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 449 Found #define. CERT PRE03-C
O pvm3.h: 449 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 450 Found #define. CERT PRE03-C
O pvm3.h: 450 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 451 Found #define. CERT PRE03-C
O pvm3.h: 451 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 452 Found #define. CERT PRE03-C
O pvm3.h: 452 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 453 Found #define. CERT PRE03-C
O pvm3.h: 453 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 454 Found #define. CERT PRE03-C
O pvm3.h: 454 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 455 Found #define. CERT PRE03-C
O pvm3.h: 455 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 456 Found #define. CERT PRE03-C
O pvm3.h: 456 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 457 Found #define. CERT PRE03-C
O pvm3.h: 457 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 458 Found #define. CERT PRE03-C
O pvm3.h: 458 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 459 Found #define. CERT PRE03-C
O pvm3.h: 459 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 460 Found #define. CERT PRE03-C
O pvm3.h: 460 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 461 Found #define. CERT PRE03-C
O pvm3.h: 461 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 462 Found #define. CERT PRE03-C
O pvm3.h: 462 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 463 Found #define. CERT PRE03-C
O pvm3.h: 463 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 464 Found #define. CERT PRE03-C
O pvm3.h: 464 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 465 Found #define. CERT PRE03-C
O pvm3.h: 465 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 466 Found #define. CERT PRE03-C
O pvm3.h: 466 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 467 Found #define. CERT PRE03-C
O pvm3.h: 467 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 468 Found #define. CERT PRE03-C
O pvm3.h: 468 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 469 Found #define. CERT PRE03-C
O pvm3.h: 469 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 470 Found #define. CERT PRE03-C
O pvm3.h: 470 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 471 Found #define. CERT PRE03-C
O pvm3.h: 471 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 472 Found #define. CERT PRE03-C
O pvm3.h: 472 Macro replacement list needs parentheses. CERT PRE02-C

Code File: Src Line Violation Standard
O pvm3.h: 473 Found #define. CERT PRE03-C
O pvm3.h: 473 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 474 Found #define. CERT PRE03-C
O pvm3.h: 474 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 475 Found #define. CERT PRE03-C
O pvm3.h: 475 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 476 Found #define. CERT PRE03-C
O pvm3.h: 476 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 477 Found #define. CERT PRE03-C
O pvm3.h: 477 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 478 Found #define. CERT PRE03-C
O pvm3.h: 478 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 479 Found #define. CERT PRE03-C
O pvm3.h: 479 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 480 Found #define. CERT PRE03-C
O pvm3.h: 480 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 485 Found #define. CERT PRE03-C
O pvm3.h: 485 Macro contains unacceptable items CERT PRE03-C
O pvm3.h: 486 Found #define. CERT PRE03-C
O pvm3.h: 486 Macro contains unacceptable items CERT PRE03-C
O pvm3.h: 492 Found #define. CERT PRE03-C
O pvm3.h: 492 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 493 Found #define. CERT PRE03-C
O pvm3.h: 493 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 494 Found #define. CERT PRE03-C
O pvm3.h: 494 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 495 Found #define. CERT PRE03-C
O pvm3.h: 495 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 496 Found #define. CERT PRE03-C
O pvm3.h: 496 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 497 Found #define. CERT PRE03-C
O pvm3.h: 497 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 498 Found #define. CERT PRE03-C
O pvm3.h: 498 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 499 Found #define. CERT PRE03-C
O pvm3.h: 499 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 500 Found #define. CERT PRE03-C
O pvm3.h: 500 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 501 Found #define. CERT PRE03-C
O pvm3.h: 501 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 502 Found #define. CERT PRE03-C
O pvm3.h: 502 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 503 Found #define. CERT PRE03-C
O pvm3.h: 503 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 509 Enum, struct or union not typedeffed. CERT DCL05-C
O pvm3.h: 521 Enum, struct or union not typedeffed. CERT DCL05-C
O pvm3.h: 534 Enum, struct or union not typedeffed. CERT DCL05-C
O pvm3.h: 549 Enum, struct or union not typedeffed. CERT DCL05-C
O pvm3.h: 564 Found #define. CERT PRE03-C
O pvm3.h: 565 Found #define. CERT PRE03-C

Code File: Src Line Violation Standard
O pvm3.h: 567 Found #define. CERT PRE03-C
O pvm3.h: 567 Macro parameter not in brackets. CERT PRE01-C,PRE02-C
O pvm3.h: 567 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 569 Found #define. CERT PRE03-C
O pvm3.h: 571 Found #define. CERT PRE03-C
O pvm3.h: 584 Found #define. CERT PRE03-C
O pvm3.h: 584 Macro parameter not in brackets. CERT PRE01-C,PRE02-C
O pvm3.h: 584 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 586 Found #define. CERT PRE03-C
O pvm3.h: 648 Ellipsis used in procedure parameter list. CERT DCL10-C,DCL11-C
O pvm3.h: 677 Number of parameters does not match. CERT DCL07-C
O pvm3.h: 719 Ellipsis used in procedure parameter list. CERT DCL10-C,DCL11-C
O gexamp.c: 3 Non standard character $ in source. CERT MSC09-C
O gexamp.c: 40 Found #define. CERT PRE03-C
O gexamp.c: 43 Found #define. CERT PRE03-C
O gexamp.c: 43 Macro parameter not in brackets. CERT PRE01-C,PRE02-C
O gexamp.c: 43 Macro replacement list needs parentheses. CERT PRE02-C
O gs.c: 3 Non standard character $ in source. CERT MSC09-C
O gs.c: 40 Found #define. CERT PRE03-C
O joinleave.c: 3 Non standard character $ in source. CERT MSC09-C
O joinleave.c: 40 Found #define. CERT PRE03-C
O joinleave.c: 40 Define used for numeric constant. CERT DCL00-C
O thb.c: 3 Non standard character $ in source. CERT MSC09-C
O thb.c: 40 Found #define. CERT PRE03-C
O thb.c: 40 Define used for numeric constant. CERT DCL00-C
O thb.c: 41 Found #define. CERT PRE03-C
O thb.c: 41 Define used for numeric constant. CERT DCL00-C
O thb.c: 42 Found #define. CERT PRE03-C
O thb.c: 42 Define used for numeric constant. CERT DCL00-C
O tjf.c: 3 Non standard character $ in source. CERT MSC09-C
O tjf.c: 40 Found #define. CERT PRE03-C
O tjf.c: 40 Define used for numeric constant. CERT DCL00-C
O tjf.c: 41 Found #define. CERT PRE03-C
O tjf.c: 41 Define used for numeric constant. CERT DCL00-C
O tjf.c: 42 Found #define. CERT PRE03-C
O tjf.c: 42 Define used for numeric constant. CERT DCL00-C
O tjl.c: 3 Non standard character $ in source. CERT MSC09-C
O tjl.c: 40 Found #define. CERT PRE03-C
O tjl.c: 40 Define used for numeric constant. CERT DCL00-C
O tjl.c: 41 Found #define. CERT PRE03-C
O tjl.c: 41 Define used for numeric constant. CERT DCL00-C
O tjl.c: 42 Found #define. CERT PRE03-C
O tjl.c: 42 Define used for numeric constant. CERT DCL00-C
O tnb.c: 3 Non standard character $ in source. CERT MSC09-C
O trsg.c: 3 Non standard character $ in source. CERT MSC09-C
O pvm3.h: 685 Number of parameters does not match. CERT DCL07-C
O pvm3.h: 687 Number of parameters does not match. CERT DCL07-C
O pvm3.h: 689 Number of parameters does not match. CERT DCL07-C
O pvm3.h: 691 Number of parameters does not match. CERT DCL07-C
O trsg.c: 51 Found #define. CERT PRE03-C

Code File: Src Line Violation Standard
O trsg.c: 51 Define used for numeric constant. CERT DCL00-C
O trsg.c: 52 Found #define. CERT PRE03-C
O trsg.c: 52 Define used for numeric constant. CERT DCL00-C
O trsg.c: 53 Found #define. CERT PRE03-C
O trsg.c: 53 Define used for numeric constant. CERT DCL00-C
O trsg.c: 54 Found #define. CERT PRE03-C
O trsg.c: 54 Define used for numeric constant. CERT DCL00-C
O trsg.c: 55 Found #define. CERT PRE03-C
O trsg.c: 62 Found #define. CERT PRE03-C
O trsg.c: 62 Use of function like macro. CERT PRE00-C
O trsg.c: 62 Macro contains unacceptable items CERT PRE03-C
O trsg.c: 63 Found #define. CERT PRE03-C
O trsg.c: 63 Use of function like macro. CERT PRE00-C
O trsg.c: 63 Macro contains unacceptable items CERT PRE03-C
O tst.c: 3 Non standard character $ in source. CERT MSC09-C

[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(42 to 134 ge.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 52 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 60 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 60 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 66 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 75 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 75 Array index not unsigned. CERT ARR30-C
M 75 Value is not of appropriate type. : unsigned int int fprintf ( stderr , "0x%x\n" , ctid [ i CERT INT01-C,INT02-C,INT07-C
M 85 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 96 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 112 Array index not unsigned. CERT ARR30-C
M 112 Value is not of appropriate type. : unsigned int int ctid [ mygid CERT INT01-C,INT02-C,INT07-C
M 116 Array index not unsigned. CERT ARR30-C
M 116 Value is not of appropriate type. : unsigned int int i != pvm_getinst ( "ge" , ctid [ i CERT INT01-C,INT02-C,INT07-C
M 117 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 119 Array index not unsigned. CERT ARR30-C
M 119 Value is not of appropriate type. : unsigned int int ctid [ i CERT INT01-C,INT02-C,INT07-C
M 120 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 128 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 132 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(47 to 135 gexamp.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 57 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 64 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 64 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 69 function call with no prior declaration. CERT EXP37-C
M 69 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 71 Modification of string literal. CERT STR05-C,STR30-C
M 76 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 85 Value is not of appropriate type. : char signed char pvm_spawn ( gp , argv CERT INT01-C,INT02-C,INT07-C
M 88 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 88 Array index not unsigned. CERT ARR30-C
M 88 Value is not of appropriate type. : unsigned int int fprintf ( stderr , "0x%x\n" , ctid [ i CERT INT01-C,INT02-C,INT07-C
M 99 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 108 Array index not unsigned. CERT ARR30-C
M 108 Value is not of appropriate type. : unsigned int int ctid [ mygid CERT INT01-C,INT02-C,INT07-C
M 117 Array index not unsigned. CERT ARR30-C
M 117 Value is not of appropriate type. : unsigned int int i != pvm_getinst ( gp , ctid [ i CERT INT01-C,INT02-C,INT07-C
M 118 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 120 Array index not unsigned. CERT ARR30-C
M 120 Value is not of appropriate type. : unsigned int int ctid [ i CERT INT01-C,INT02-C,INT07-C
M 121 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 133 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(42 to 89 gs.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 51 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 58 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 58 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 67 Value is not of appropriate type. : char signed char pvm_spawn ( argv [ 0 ] , argv CERT INT01-C,INT02-C,INT07-C
M 70 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 70 Array index not unsigned. CERT ARR30-C
M 70 Value is not of appropriate type. : unsigned int int fprintf ( stderr , "0x%x\n" , ctid [ i CERT INT01-C,INT02-C,INT07-C
M 75 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 87 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(41 to 73 joinleave.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 50 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 56 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 61 Deprecated usage of ++ or -- operators found. CERT EXP30-C,EXP31-C
M 61 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 62 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 66 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 70 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(44 to 127 thb.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 57 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 57 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 67 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 68 Array index not unsigned. CERT ARR30-C
M 68 Value is not of appropriate type. : unsigned int int ( gid [ i CERT INT01-C,INT02-C,INT07-C
M 68 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 71 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 76 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 77 Array index not unsigned. CERT ARR30-C
M 77 Value is not of appropriate type. : unsigned int int gid [ i CERT INT01-C,INT02-C,INT07-C
M 77 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 78 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 81 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 81 Array index not unsigned. CERT ARR30-C
M 81 Value is not of appropriate type. : unsigned int int mytid != ( cc = pvm_gettid ( g , gid [ i CERT INT01-C,INT02-C,INT07-C
M 82 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 88 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 92 Array index not unsigned. CERT ARR30-C
M 92 Value is not of appropriate type. : unsigned int int ctid [ i CERT INT01-C,INT02-C,INT07-C
M 93 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 93 Array index not unsigned. CERT ARR30-C
M 93 Value is not of appropriate type. : unsigned int int fprintf ( stderr , "trouble on spawn number %d\n" , ctid [ i CERT INT01-C,INT02-C,INT07-C
M 103 Array index not unsigned. CERT ARR30-C
M 103 Value is not of appropriate type. : unsigned int int pvm_send ( ctid [ i CERT INT01-C,INT02-C,INT07-C
M 108 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 113 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 116 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 122 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 125 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(43 to 90 tjf.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 62 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 63 Array index not unsigned. CERT ARR30-C
M 63 Value is not of appropriate type. : unsigned int int ( gid [ i CERT INT01-C,INT02-C,INT07-C
M 63 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 66 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 71 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 72 Array index not unsigned. CERT ARR30-C
M 72 Value is not of appropriate type. : unsigned int int gid [ i CERT INT01-C,INT02-C,INT07-C
M 72 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 73 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 76 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 76 Array index not unsigned. CERT ARR30-C
M 76 Value is not of appropriate type. : unsigned int int mytid != ( cc = pvm_gettid ( g , gid [ i CERT INT01-C,INT02-C,INT07-C
M 77 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 83 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(43 to 90 tjl.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 62 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 63 Array index not unsigned. CERT ARR30-C
M 63 Value is not of appropriate type. : unsigned int int ( gid [ i CERT INT01-C,INT02-C,INT07-C
M 63 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 66 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 71 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 72 Array index not unsigned. CERT ARR30-C
M 72 Value is not of appropriate type. : unsigned int int gid [ i CERT INT01-C,INT02-C,INT07-C
M 72 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 73 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 76 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 76 Array index not unsigned. CERT ARR30-C
M 76 Value is not of appropriate type. : unsigned int int mytid != ( cc = pvm_gettid ( g , gid [ i CERT INT01-C,INT02-C,INT07-C
M 77 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 83 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(72 to 198 trsg.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 72 Declaration is missing type. CERT DCL31-C
M 91 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 92 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 93 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 95 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 96 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 98 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 112 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 113 function call with no prior declaration. CERT EXP37-C
M 113 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 118 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 123 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 134 Array index not unsigned. CERT ARR30-C
M 134 Value is not of appropriate type. : unsigned int int matrix [ j * count + i CERT INT01-C,INT02-C,INT07-C
M 137 Type conversion without cast. : void int pvm_scatter ( CERT INT02-C,INT31-C
M 137 Type conversion without cast. : void int pvm_scatter ( myrow , CERT INT02-C,INT31-C
M 137 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 140 Array index not unsigned. CERT ARR30-C
M 140 Value is not of appropriate type. : unsigned int int dupls [ i CERT INT01-C,INT02-C,INT07-C
M 144 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 147 Array index not unsigned. CERT ARR30-C
M 147 Value is not of appropriate type. : unsigned int int PSum += myrow [ i CERT INT01-C,INT02-C,INT07-C
M 150 Type conversion without cast. : void int pvm_gather ( CERT INT02-C,INT31-C
M 150 Type conversion without cast. : void int pvm_gather ( PartSums , & CERT INT02-C,INT31-C
M 150 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 153 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 153 Type conversion without cast. : int char pvm_reduce ( PvmSum , myrow , count , 3 , msgtag = 23 , CERT INT02-C,INT31-C
M 157 Type conversion without cast. : float int values [ 0 ] = - ( myginst - midpoint ) * ( CERT INT02-C,INT31-C
M 161 Type conversion without cast. : int float MaxWithLoc , CERT INT02-C,INT31-C
M 161 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 161 Type conversion without cast. : int char MaxWithLoc , values , 2 , 4 , msgtag = 25 , CERT INT02-C,INT31-C
M 168 Array index not unsigned. CERT ARR30-C
M 168 Value is not of appropriate type. : unsigned int int Sum1 += PartSums [ i CERT INT01-C,INT02-C,INT07-C
M 169 Array index not unsigned. CERT ARR30-C
M 169 Value is not of appropriate type. : unsigned int int Sum2 += myrow [ i CERT INT01-C,INT02-C,INT07-C
M 172 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 175 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 182 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 185 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 188 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 189 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 161 Actual and formal parameters inconsistent (MR). CERT EXP37-C
M 153 Actual and formal parameters inconsistent (MR). CERT EXP37-C
M 150 Actual and formal parameters inconsistent (MR). CERT EXP37-C
M 142 Actual and formal parameters inconsistent (MR). CERT EXP37-C
M 137 Actual and formal parameters inconsistent (MR). CERT EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





MaxWithLoc
(213 to 234 trsg.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 223 Array index not unsigned. CERT ARR30-C
M 223 Value is not of appropriate type. : unsigned int int y [ i CERT INT01-C,INT02-C,INT07-C
M 223 Value is not of appropriate type. : unsigned int int y [ i ] > x [ i CERT INT01-C,INT02-C,INT07-C
M 225 Array index not unsigned. CERT ARR30-C
M 225 Value is not of appropriate type. : unsigned int int x [ i CERT INT01-C,INT02-C,INT07-C
M 225 Value is not of appropriate type. : unsigned int int x [ i ] = y [ i CERT INT01-C,INT02-C,INT07-C
M 226 Array index not unsigned. CERT ARR30-C
M 226 Value is not of appropriate type. : unsigned int int x [ i + count CERT INT01-C,INT02-C,INT07-C
M 226 Value is not of appropriate type. : unsigned int int x [ i + count ] = y [ i + count CERT INT01-C,INT02-C,INT07-C
M 229 Array index not unsigned. CERT ARR30-C
M 229 Value is not of appropriate type. : unsigned int int y [ i CERT INT01-C,INT02-C,INT07-C
M 229 Value is not of appropriate type. : unsigned int int y [ i ] == x [ i CERT INT01-C,INT02-C,INT07-C
M 229 Array index not unsigned. CERT ARR30-C
M 229 Value is not of appropriate type. : unsigned int int x [ i + count CERT INT01-C,INT02-C,INT07-C
M 229 Array index not unsigned. CERT ARR30-C
M 229 Value is not of appropriate type. : unsigned int int ( x [ i + count CERT INT01-C,INT02-C,INT07-C
M 229 Value is not of appropriate type. : unsigned int int ( x [ i + count ] ) < ( y [ i + count CERT INT01-C,INT02-C,INT07-C
M 229 Array index not unsigned. CERT ARR30-C
M 229 Value is not of appropriate type. : unsigned int int ( x [ i + count CERT INT01-C,INT02-C,INT07-C
M 229 Array index not unsigned. CERT ARR30-C
M 229 Value is not of appropriate type. : unsigned int int ( y [ i + count CERT INT01-C,INT02-C,INT07-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(39 to 59 tst.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 46 function call with no prior declaration. CERT EXP37-C
M 46 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 48 function call with no prior declaration. CERT EXP37-C
M 48 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 49 function call with no prior declaration. CERT EXP37-C
M 49 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 51 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 53 function call with no prior declaration. CERT EXP37-C
M 53 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 54 function call with no prior declaration. CERT EXP37-C
M 54 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 56 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 57 function call with no prior declaration. CERT EXP37-C
M 57 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]




Key to Terms


Standards violations for procedures are printed in tables with code markers as follows:


Code (Line) Violation Standard
M (Source line number) [Text of Mandatory standard] [Appropriate rule reference]
C   [Text of Checking standard]  
O   [Text of Optional standard]  
[Source: Text of line from Source file]


                         Checking standards are considered mandatory but individual instances may be overridden by adding annotations to the source code
                         Optional standards provide additional quality criteria but may be violated

                         For some standards violations, additional information is provided in results tables
                         Note that source lines do not show macro expansions

                         "Off" in Summary tables indicates that a standard is switched off in the pen.dat file
                         "MR" in Summary tables indicates a MISRA Restricted standard which cannot be checked without the MISRA licence option.


A summary is given of the pass/fail result of each program component as follows:


Components which pass all standards are marked: Pass
Components which fail only Optional standards are marked: Conditional Pass
Components which fail on insufficient comments only are marked: Comment FAIL
Components which violate Mandatory standards are marked: FAIL



Procedure Results table breakdown (Example Only)


Unique Violations    
     
65 - 150
35 - 39 -



                         The Violation density for a function is the number of violations per reformatted line, expressed as a percentage.
                         It is an indication of code quality.

                         Functions with a high violation density are likely to be smaller functions with a large number of violations.

                         Lower density may indicate larger functions with fewer violations.

                                        (nViols / nRefLines) x 100

                         where:

                                        nViols = number of standard violations in a function.

                         and:

                                        nRefLines = number of reformatted lines in a function.

                         The unique standards failure ratio is an indication of variety of standards violations in a module.

                         Thus a function containing one instance of several different standards will have a high ratio,
                         while a function that has violated only one standards will have a low ratio.

[ Top of Report | Procedure Table | Contents ]


End of Code Review Report

Copyright © 2009 Liverpool Data Research Associates